Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge
نویسندگان
چکیده
منابع مشابه
TARK 2013 Theoretical Aspects of Rationality and Knowledge
Using examples from game theory, social choice theory, and software engineering, I will talk about how knowledge representation formalisms can be used to help discover interesting and useful theorems. TARK 2013, Chennai, India. 2013, Chennai, India Copyright 2013 by the authors.
متن کاملProceedings of the Fifteenth International Joint Conference on Arti cial Intelligence
This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating communicative acts by employing a combination of h...
متن کاملTheoretical Aspects of Rationality and Knowledge ( TARK ) Rationalization and Robustness in Dynamic Games
Distributional Uncertainty and Persuasion. This paper investigates, in an extension of Kamenica andGentzkow (2011), a Sender who tries to persuade a Receiver many times, by designing an informationdisclosure policy regarding an state which evolves according to an exchangeable process. When informationis disclosed more than once, each signal, in addition to its persuasive effect, als...
متن کاملProceedings of the Fifteenth Midwest
In this work we examine mobile autonomous agent technology and its ability to effectively fight a computer virus attack on a network. A mobile agent is an autonomous agent that has the ability to transfer and reproduce itself on other computers within a network [Kotz, 99]. A computer virus is a malicious computer program that infects host systems and replicates itself to other host systems [Hof...
متن کاملICTCS ’ 14 Fifteenth Italian Conference on
argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making Stefano Bistarelli, Martine Ceberio, Joel A. Henderson, Francesco Santini 247 Optimal placement of storage nodes in a wireless sensor network Gianlorenzo D’Angelo, Daniele Diodati, Alfredo Navarra, Cristina M. Pinotti 259 Engineering shortest-path algorithms for dynamic networks Mattia D...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.215.0